Formal methods - PDFSEARCH.IO - Document Search Engine

Formal methods
Results: 2204

#	Item
951	LFMTP[removed]A List-machine Benchmark for Mechanized Metatheory (Extended Abstract) Andrew W. Appel Princeton University and INRIA Rocquencourt Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2006-07-19 04:40:31 Logic in computer science Type theory Deduction Automated theorem proving Formal methods Twelf Symbol Proof assistant POPLmark challenge Logic Theoretical computer science Mathematical logic
952	Overview of SMT CVC4 The CVC4 SMT Solver Martin Brain on behalf of Morgan Deters Add to Reading List Source URL: www.spark-2014.org Language: English - Date: 2015-02-05 02:10:38 Logic Formal methods Constraint programming Logic in computer science Satisfiability Modulo Theories First-order logic Interpretation Theoretical computer science Mathematical logic Model theory
953	Learning from an expert’s proof AI4FM Leo Freitas and Cliff B Jones School of Computing Science, Newcastle University, UK, {leo.freitas, cliff.jones}@ncl.ac.uk Abstract Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:19:51 Automated theorem proving Mathematical logic Formal methods Logic in computer science Mathematical proof Proof assistant KeY Rippling Theorem Logic Mathematics Theoretical computer science
954	TFF1: The TPTP Typed First-Order Form with Rank-1 Polymorphism Jasmin Christian Blanchette1 and Andrei Paskevich2,3 1 Fakultät für Informatik, Technische Universität München, Germany Add to Reading List Source URL: www4.in.tum.de Language: English - Date: 2015-01-25 16:18:54 Type theory Formal methods Model theory Functional programming Data types Symbol Satisfiability Modulo Theories Hindley–Milner Geoff Sutcliffe Theoretical computer science Mathematics Mathematical logic
955	Enhancing Symbolic Execution with Veritesting Thanassis Avgerinos, Alexandre Rebert, Sang Kil Cha, and David Brumley Carnegie Mellon University {thanassis, alexandre, sangkilc, dbrumley}@cmu.edu Add to Reading List Source URL: users.ece.cmu.edu Language: English - Date: 2014-03-17 11:29:44 Software testing Automated theorem proving Concolic testing Software metrics KeY Symbolic execution Code coverage Control flow graph Algorithm Software Computing Formal methods
956	The AI4FM approach for proof automation within formal methods A Grand Challenge 6 “Dependable Systems Evolution" project Gudmund Grov Alan Bundy Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:19:50 Logical syntax Formal methods Mathematical logic Theoretical computer science Rippling Mathematical proof Theorem Formal proof KeY Logic Mathematics Automated theorem proving
957	SMT Solvers Theory & Practice Leonardo de Moura [removed] Microsoft Research Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2006-11-12 03:14:38 Model theory Electronic design automation Formal methods Logic in computer science NP-complete problems Satisfiability Modulo Theories Structure Well-formed formula Boolean satisfiability problem Mathematics Theoretical computer science Logic
958	Worker/wrapper for a Better Life Extended Abstract Brad Torrence Mike Stees Add to Reading List Source URL: ifl2014.github.io Language: English - Date: 2015-03-04 15:20:42 Formal methods Functional languages Functions and mappings Theoretical computer science Function Haskell Hindley–Milner Fold Combinatory logic Software engineering Computing Mathematics
959	University of Edinburgh A Study In The Use Of Event-B For System Development From A Software Engineering Viewpoint Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:19:50 Science Theoretical computer science Systems engineering Software development methodology Scientific modelling Software development process B-Method Software testing Formal proof Software development Software Formal methods
960	ACL2 for Freshmen: First Experiences Carl Eastlund [removed] Dale Vaillancourt [removed] Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2015-03-24 18:44:54 Mathematical logic Theoretical computer science Lisp programming language Formal methods Logic in computer science ACL2 Mathematical proof Formal verification Recursion Mathematics Computing Computer programming